с объектами в качестве значений

См. также в других словарях:

• ЗНАЧЕНИЕ — содержание, обозначенное тем или иным языковым выражением словом, предложением, знаком и т.п. Вопрос о З. языковых выражений исследуется лингвистикой, семиотикой и логической семантикой. Различают предметное, смысловое и экспрессивное З. языковых …   Философская энциклопедия

• ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… …   Математическая энциклопедия

• ГОСТ 24453-80: Измерения параметров и характеристик лазерного излучения. Термины, определения и буквенные обозначения величин — Терминология ГОСТ 24453 80: Измерения параметров и характеристик лазерного излучения. Термины, определения и буквенные обозначения величин оригинал документа: 121. Абсолютная спектральная характеристика чувствительности средства измерений… …   Словарь-справочник терминов нормативно-технической документации

• СТРУКТУРАЛИЗМ — направление в философии и конкретно научных исследованиях, возникшее в 1920 1930 е гг. и получившее широкое распространение в 1950 1960 е гг., особенно во Франции. Первоначально С. сложился в языкознании и литературоведении в связи с появлением… …   Философская энциклопедия

• АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч …   Математическая энциклопедия

• онтологической относительности принцип —         ОНТОЛОГИЧЕСКОЙ ОТНОСИТЕЛЬНОСТИ ПРИНЦИП (от греч. on, ontos сущее) ограничительный результат, полученный амер. логиком и философом У Куайном. Он направлен против абсолютистского взгляда на онтологию: универсальная онтология, в том числе и… …   Энциклопедия эпистемологии и философии науки

• Алгебра логики —         раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… …   Большая советская энциклопедия

• Логика предикатов —         раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… …   Большая советская энциклопедия

• ОПИСАНИЯ ОПЕРАТОРЫ — (операторы дескрипции) – логич. операторы, посредством к рых вводятся в рассмотрение т.н. описания (описательные о п р е д е л е н и я) – языковые конструкции (выражения), играющие роль собств. имен (в дополнение к собств. именам, входящим в… …   Философская энциклопедия

• КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …   История Философии: Энциклопедия

• АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия